properties of state transition matrix